Матлогика 5. Исчисление Высказываний.